Implementation considerations in supervisory control

With supervisory control theory it is possible to describe controllers which influence the behaviour of a system by disabling controllable events. But sometimes it is desirable to have a controller which not only disables controllable events but also chooses one among the enabled ones. This event can be interpreted as a command given to the plant. This idea is formalized in the concept of an implementation, which is a special supervisor, enabling at most one controllable event at a time. In this paper, some useful properties are introduced, which ensure, when met, that each implementation of a given DES is nonblocking. The approach is applied to a simple chemical batch process example

Certainly Unsupervisable States

This paper proposes an abstraction method for compositional synthesis. Synthesis is a method to automatically compute a control program or supervisor that restricts the behaviour of a given system to ensure safety and liveness. Compositional synthesis uses repeated abstraction and simplification to combat the state-space explosion problem for large systems. The abstraction method proposed in this paper finds and removes the so-called certainly unsupervisable states. By removing these states at an early stage, the final state space can be reduced substantially. The paper describes an algorithm with cubic time complexity to compute the largest possible set of removable states. A practical example demonstrates the feasibility of the method to solve real-world problems

Generalised risk-sensitive control with full and partial state observation

This paper generalises the risk-sensitive cost functional by introducing noise dependent penalties on the state and control variables. The optimal control problems for the full and partial state observation are considered. Using a change of probability measure approach, explicit closed-form solutions are found in both cases. This has resulted in a new risk-sensitive regulator and filter, which are generalisations of the well-known classical results

Controllability and controller-observer design for a class of linear time-varying systems

“The final publication is available at Springer via http://dx.doi.org/10.1007/s10852-012-9212-6"In this paper a class of linear time-varying control systems is considered. The time variation consists of a scalar time-varying coefficient multiplying the state matrix of an otherwise time-invariant system. Under very weak assumptions of this coefficient, we show that the controllability can be assessed by an algebraic rank condition, Kalman canonical decomposition is possible, and we give a method for designing a linear state-feedback controller and Luenberger observer

Maximum Likelihood Estimator for Hidden Markov Models in continuous time

The paper studies large sample asymptotic properties of the Maximum Likelihood Estimator (MLE) for the parameter of a continuous time Markov chain, observed in white noise. Using the method of weak convergence of likelihoods due to I.Ibragimov and R.Khasminskii, consistency, asymptotic normality and convergence of moments are established for MLE under certain strong ergodicity conditions of the chain.Comment: Warning: due to a flaw in the publishing process, some of the references in the published version of the article are confuse

Distributed Supervisory Control of Discrete-Event Systems with Communication Delay

This paper identifies a property of delay-robustness in distributed supervisory control of discrete-event systems (DES) with communication delays. In previous work a distributed supervisory control problem has been investigated on the assumption that inter-agent communications take place with negligible delay. From an applications viewpoint it is desirable to relax this constraint and identify communicating distributed controllers which are delay-robust, namely logically equivalent to their delay-free counterparts. For this we introduce inter-agent channels modeled as 2-state automata, compute the overall system behavior, and present an effective computational test for delay-robustness. From the test it typically results that the given delay-free distributed control is delay-robust with respect to certain communicated events, but not for all, thus distinguishing events which are not delay-critical from those that are. The approach is illustrated by a workcell model with three communicating agents

The filtering equations revisited

The problem of nonlinear filtering has engendered a surprising number of mathematical techniques for its treatment. A notable example is the change-of--probability-measure method originally introduced by Kallianpur and Striebel to derive the filtering equations and the Bayes-like formula that bears their names. More recent work, however, has generally preferred other methods. In this paper, we reconsider the change-of-measure approach to the derivation of the filtering equations and show that many of the technical conditions present in previous work can be relaxed. The filtering equations are established for general Markov signal processes that can be described by a martingale-problem formulation. Two specific applications are treated

Does reservoir host mortality enhance transmission of West Nile virus?

<p>Abstract</p> <p>Background</p> <p>Since its 1999 emergence in New York City, West Nile virus (WNV) has become the most important and widespread cause of mosquito-transmitted disease in North America. Its sweeping spread from the Atlantic to the Pacific coast was accompanied by widespread mortality among wild birds, especially corvids. Only sporadic avian mortality had previously been associated with this infection in the Old World. Here, we examine the possibility that reservoir host mortality may intensify transmission, both by concentrating vector mosquitoes on remaining hosts and by preventing the accumulation of "herd immunity".</p> <p>Results</p> <p>Inspection of the Ross-Macdonald expression of the basic reproductive number (<it>R</it>₀) suggests that this quantity may increase with reservoir host mortality. Computer simulation confirms this finding and indicates that the level of virulence is positively associated with the numbers of infectious mosquitoes by the end of the epizootic. The presence of reservoir incompetent hosts in even moderate numbers largely eliminated the transmission-enhancing effect of host mortality. Local host die-off may prevent mosquitoes to "waste" infectious blood meals on immune host and may thus facilitate perpetuation and spread of transmission.</p> <p>Conclusion</p> <p>Under certain conditions, host mortality may enhance transmission of WNV and similarly maintained arboviruses and thus facilitate their emergence and spread. The validity of the assumptions upon which this argument is built need to be empirically examined.</p